inductive relation

归纳关系